41. Concept lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings
پدیدآورنده : Peter Eklund )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lattice theory,Mathematical models -- Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2961
42. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, 0791, Oberwolfach, Ger.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Nonstandard mathematical analysis-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
300
.
S973
1970
43. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, Oberwolfach, Ger.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematical analysis, nonstandard-Congresses,Congresses ، Logic, Symbolic and mathematical
رده :
QA
300
.
S973
1970
44. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
45. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
پدیدآورنده : Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2731
46. Finite and infinite combinatorics in sets and logic
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
47. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
48. Formal Concept Analysis :
پدیدآورنده : Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
I58
2019eb
49. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
50. Formal Grammar 2018 :
پدیدآورنده : Annie Foret, Greg Kobele, Sylvain Pogodalla (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational linguistics, Congresses.,Formal languages, Congresses.,Mathematical linguistics, Congresses.,Computational linguistics.,Formal languages.,Mathematical linguistics.
رده :
P98
.
I58
2018eb
51. Formal concept analysis
پدیدآورنده : / Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
E-BOOK
52. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
53. Formal concept analysis : foundations and applications
پدیدآورنده : Bernhard Ganter, Gerd Stumme, Rudolf Wille )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lattice theory,Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Logic, Symbolic and mathematical,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3626
54. Formal concept analysis : 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings
پدیدآورنده : Rokia Missaoui, Jurg Schmid )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lattice theory,Mathematical models -- Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3874
55. Formal concept analysis : third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings
پدیدآورنده : Bernhard Ganter, Robert Godin )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lattice theory,Congresses ، Comprehension )Theory of Knowledge(,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Information theory
رده :
QA
76
.
L28
Vol
.
3403
56. Formal systems and recursive functions /
پدیدآورنده : edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
57. Frontiers of combining systems :
پدیدآورنده : Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2011
58. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
59. Gale encyclopedia of world history :
پدیدآورنده : editori
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
60. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
